Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
31	Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter Arie van Deursen Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Software Embedded system Unit testing Formal verification Interrupt Actor model Operating system Component-based software engineering C Real-time operating system
32	CALL FOR PAPER We are pleased to invite you at: Workshop HIGH DIMENSIONAL DATA MINING SIS, CNR and SFdS (group Data Mining and Apprendissage) Add to Reading List Source URL: www.unisa.it Language: English - Date: 2016-03-31 03:41:09 Formal sciences Data Knowledge Computing Software Data mining Statistica Statistics Data visualization Geographic information system
33	Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos Add to Reading List Source URL: sandcat.cs.washington.edu Language: English - Date: 2016-07-18 14:23:27 Computing Network architecture Internet Computer networking Routing protocols Internet Standards Internet protocols Routing Border Gateway Protocol Router Autonomous system Convergence
34	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
35	On the relation of prosody to metrical structure in Old Japanese The specific set of properties employed in the formal-poetic system(s) of a given language derive in part from the properties of the underlying linguistic Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2011-10-17 16:59:37 Linguistics Phonology Poetic rhythm Poetic form Phonetics Metre Syllable Metrical phonology Prosody Poetry Hemistich Syllabic verse
36	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
37	Summary: the NSF Workshop on Formal Methods for Security Stephen Chong Joshua Guttman Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2016-08-02 20:31:35 Security Computer security Cyberwarfare Crime prevention Cryptography Information governance National security Formal methods Formal Geographic information system Privacy Internet privacy
38	Appendix 1: Formal Definition of a Tipping Element and Its Tipping Point We consider sub-systems (Σ) of the Earth system that are associated with a specific region (or collection of regions) of the globe and are at leas Add to Reading List Source URL: www.350.me.uk Language: English - Date: 2014-06-21 19:35:50 Atmospheric sciences Climatology Meteorology Climate change Climate history Tipping point Global warming Gratuity Global change PaleoceneEocene Thermal Maximum Climate oscillation Climate engineering
39	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
40	SIXTH FRAMEWORK PROGRAMME PRIORITY [#] [Information Societies Technology] Contract for: Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-11-01 05:48:34 Formal methods Computing Software engineering Engineering System of systems Dependability Systems engineering Programming tool Software development process Project management B-Method Software development

UPDATE